define walrus's law